union operator equivalence to finite automata